Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/compiler/Location.sig

Text File | 1997-08-18 | 678 b | 21 lines | [TEXT/R*ch]

datatype Location =
    Loc of int     (* Position of the first character *)
         * int     (* Position of the next character following the last one *)
;

val getCurrentLocation : unit -> Location
and mkLoc : 'a -> Location * 'a
and xLR : Location * 'a -> Location
and xL : Location * 'a -> int
and xR : Location * 'a -> int
and xxLR : Location * 'a -> Location * 'b -> Location
and xxRL : Location * 'a -> Location * 'b -> Location
and nilLocation : Location
and errLocation : Location -> unit
and errInputName : unit -> unit
and input_name : string ref
and input_stream : BasicIO.instream ref
and input_lexbuf : Lexing.lexbuf ref
and errorMsg : Location -> string -> 'a
;